Optimal. Leaf size=645 \[ \frac {3 (b c-a d) \sqrt [3]{a+b x}}{d (d e-c f) \sqrt [3]{c+d x} (e+f x)^3}+\frac {(b d e+9 b c f-10 a d f) \sqrt [3]{a+b x} (c+d x)^{2/3}}{3 d (d e-c f)^2 (e+f x)^3}+\frac {(3 b d e+32 b c f-35 a d f) \sqrt [3]{a+b x} (c+d x)^{2/3}}{9 (d e-c f)^3 (e+f x)^2}+\frac {\left (140 a^2 d^2 f^2-7 a b d f (21 d e+19 c f)+b^2 \left (9 d^2 e^2+129 c d e f+2 c^2 f^2\right )\right ) \sqrt [3]{a+b x} (c+d x)^{2/3}}{27 (b e-a f) (d e-c f)^4 (e+f x)}+\frac {4 (b c-a d) \left (35 a^2 d^2 f^2-7 a b d f (9 d e+c f)+b^2 \left (27 d^2 e^2+9 c d e f-c^2 f^2\right )\right ) \tan ^{-1}\left (\frac {1}{\sqrt {3}}+\frac {2 \sqrt [3]{b e-a f} \sqrt [3]{c+d x}}{\sqrt {3} \sqrt [3]{d e-c f} \sqrt [3]{a+b x}}\right )}{27 \sqrt {3} (b e-a f)^{5/3} (d e-c f)^{13/3}}-\frac {2 (b c-a d) \left (35 a^2 d^2 f^2-7 a b d f (9 d e+c f)+b^2 \left (27 d^2 e^2+9 c d e f-c^2 f^2\right )\right ) \log (e+f x)}{81 (b e-a f)^{5/3} (d e-c f)^{13/3}}+\frac {2 (b c-a d) \left (35 a^2 d^2 f^2-7 a b d f (9 d e+c f)+b^2 \left (27 d^2 e^2+9 c d e f-c^2 f^2\right )\right ) \log \left (-\sqrt [3]{a+b x}+\frac {\sqrt [3]{b e-a f} \sqrt [3]{c+d x}}{\sqrt [3]{d e-c f}}\right )}{27 (b e-a f)^{5/3} (d e-c f)^{13/3}} \]
[Out]
________________________________________________________________________________________
Rubi [A]
time = 0.99, antiderivative size = 645, normalized size of antiderivative = 1.00, number of steps
used = 6, number of rules used = 4, integrand size = 26, \(\frac {\text {number of rules}}{\text {integrand size}}\) = 0.154, Rules used = {100, 156, 12,
93} \begin {gather*} \frac {4 (b c-a d) \left (35 a^2 d^2 f^2-7 a b d f (c f+9 d e)+b^2 \left (-c^2 f^2+9 c d e f+27 d^2 e^2\right )\right ) \text {ArcTan}\left (\frac {2 \sqrt [3]{c+d x} \sqrt [3]{b e-a f}}{\sqrt {3} \sqrt [3]{a+b x} \sqrt [3]{d e-c f}}+\frac {1}{\sqrt {3}}\right )}{27 \sqrt {3} (b e-a f)^{5/3} (d e-c f)^{13/3}}+\frac {\sqrt [3]{a+b x} (c+d x)^{2/3} \left (140 a^2 d^2 f^2-7 a b d f (19 c f+21 d e)+b^2 \left (2 c^2 f^2+129 c d e f+9 d^2 e^2\right )\right )}{27 (e+f x) (b e-a f) (d e-c f)^4}-\frac {2 (b c-a d) \log (e+f x) \left (35 a^2 d^2 f^2-7 a b d f (c f+9 d e)+b^2 \left (-c^2 f^2+9 c d e f+27 d^2 e^2\right )\right )}{81 (b e-a f)^{5/3} (d e-c f)^{13/3}}+\frac {2 (b c-a d) \left (35 a^2 d^2 f^2-7 a b d f (c f+9 d e)+b^2 \left (-c^2 f^2+9 c d e f+27 d^2 e^2\right )\right ) \log \left (\frac {\sqrt [3]{c+d x} \sqrt [3]{b e-a f}}{\sqrt [3]{d e-c f}}-\sqrt [3]{a+b x}\right )}{27 (b e-a f)^{5/3} (d e-c f)^{13/3}}+\frac {3 \sqrt [3]{a+b x} (b c-a d)}{d \sqrt [3]{c+d x} (e+f x)^3 (d e-c f)}+\frac {\sqrt [3]{a+b x} (c+d x)^{2/3} (-35 a d f+32 b c f+3 b d e)}{9 (e+f x)^2 (d e-c f)^3}+\frac {\sqrt [3]{a+b x} (c+d x)^{2/3} (-10 a d f+9 b c f+b d e)}{3 d (e+f x)^3 (d e-c f)^2} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
Rule 12
Rule 93
Rule 100
Rule 156
Rubi steps
\begin {align*} \int \frac {(a+b x)^{4/3}}{(c+d x)^{4/3} (e+f x)^4} \, dx &=\frac {3 (b c-a d) \sqrt [3]{a+b x}}{d (d e-c f) \sqrt [3]{c+d x} (e+f x)^3}-\frac {3 \int \frac {\frac {1}{3} \left (b^2 c e-2 a b d e-9 a b c f+10 a^2 d f\right )-\frac {1}{3} b (b d e+8 b c f-9 a d f) x}{(a+b x)^{2/3} \sqrt [3]{c+d x} (e+f x)^4} \, dx}{d (d e-c f)}\\ &=\frac {3 (b c-a d) \sqrt [3]{a+b x}}{d (d e-c f) \sqrt [3]{c+d x} (e+f x)^3}+\frac {(b d e+9 b c f-10 a d f) \sqrt [3]{a+b x} (c+d x)^{2/3}}{3 d (d e-c f)^2 (e+f x)^3}+\frac {\int \frac {-\frac {2}{9} d (b e-a f) \left (5 b^2 c e+35 a^2 d f-8 a b (d e+4 c f)\right )+\frac {2}{3} b d (b e-a f) (b d e+9 b c f-10 a d f) x}{(a+b x)^{2/3} \sqrt [3]{c+d x} (e+f x)^3} \, dx}{d (b e-a f) (d e-c f)^2}\\ &=\frac {3 (b c-a d) \sqrt [3]{a+b x}}{d (d e-c f) \sqrt [3]{c+d x} (e+f x)^3}+\frac {(b d e+9 b c f-10 a d f) \sqrt [3]{a+b x} (c+d x)^{2/3}}{3 d (d e-c f)^2 (e+f x)^3}+\frac {(3 b d e+32 b c f-35 a d f) \sqrt [3]{a+b x} (c+d x)^{2/3}}{9 (d e-c f)^3 (e+f x)^2}-\frac {\int \frac {\frac {2}{27} d (b e-a f)^2 \left (140 a^2 d^2 f+b^2 c (33 d e+2 c f)-7 a b d (6 d e+19 c f)\right )-\frac {2}{9} b d^2 (b e-a f)^2 (3 b d e+32 b c f-35 a d f) x}{(a+b x)^{2/3} \sqrt [3]{c+d x} (e+f x)^2} \, dx}{2 d (b e-a f)^2 (d e-c f)^3}\\ &=\frac {3 (b c-a d) \sqrt [3]{a+b x}}{d (d e-c f) \sqrt [3]{c+d x} (e+f x)^3}+\frac {(b d e+9 b c f-10 a d f) \sqrt [3]{a+b x} (c+d x)^{2/3}}{3 d (d e-c f)^2 (e+f x)^3}+\frac {(3 b d e+32 b c f-35 a d f) \sqrt [3]{a+b x} (c+d x)^{2/3}}{9 (d e-c f)^3 (e+f x)^2}+\frac {\left (140 a^2 d^2 f^2-7 a b d f (21 d e+19 c f)+b^2 \left (9 d^2 e^2+129 c d e f+2 c^2 f^2\right )\right ) \sqrt [3]{a+b x} (c+d x)^{2/3}}{27 (b e-a f) (d e-c f)^4 (e+f x)}+\frac {\int -\frac {8 d (b c-a d) (b e-a f)^2 \left (35 a^2 d^2 f^2-7 a b d f (9 d e+c f)+b^2 \left (27 d^2 e^2+9 c d e f-c^2 f^2\right )\right )}{81 (a+b x)^{2/3} \sqrt [3]{c+d x} (e+f x)} \, dx}{2 d (b e-a f)^3 (d e-c f)^4}\\ &=\frac {3 (b c-a d) \sqrt [3]{a+b x}}{d (d e-c f) \sqrt [3]{c+d x} (e+f x)^3}+\frac {(b d e+9 b c f-10 a d f) \sqrt [3]{a+b x} (c+d x)^{2/3}}{3 d (d e-c f)^2 (e+f x)^3}+\frac {(3 b d e+32 b c f-35 a d f) \sqrt [3]{a+b x} (c+d x)^{2/3}}{9 (d e-c f)^3 (e+f x)^2}+\frac {\left (140 a^2 d^2 f^2-7 a b d f (21 d e+19 c f)+b^2 \left (9 d^2 e^2+129 c d e f+2 c^2 f^2\right )\right ) \sqrt [3]{a+b x} (c+d x)^{2/3}}{27 (b e-a f) (d e-c f)^4 (e+f x)}-\frac {\left (4 (b c-a d) \left (35 a^2 d^2 f^2-7 a b d f (9 d e+c f)+b^2 \left (27 d^2 e^2+9 c d e f-c^2 f^2\right )\right )\right ) \int \frac {1}{(a+b x)^{2/3} \sqrt [3]{c+d x} (e+f x)} \, dx}{81 (b e-a f) (d e-c f)^4}\\ &=\frac {3 (b c-a d) \sqrt [3]{a+b x}}{d (d e-c f) \sqrt [3]{c+d x} (e+f x)^3}+\frac {(b d e+9 b c f-10 a d f) \sqrt [3]{a+b x} (c+d x)^{2/3}}{3 d (d e-c f)^2 (e+f x)^3}+\frac {(3 b d e+32 b c f-35 a d f) \sqrt [3]{a+b x} (c+d x)^{2/3}}{9 (d e-c f)^3 (e+f x)^2}+\frac {\left (140 a^2 d^2 f^2-7 a b d f (21 d e+19 c f)+b^2 \left (9 d^2 e^2+129 c d e f+2 c^2 f^2\right )\right ) \sqrt [3]{a+b x} (c+d x)^{2/3}}{27 (b e-a f) (d e-c f)^4 (e+f x)}+\frac {4 (b c-a d) \left (35 a^2 d^2 f^2-7 a b d f (9 d e+c f)+b^2 \left (27 d^2 e^2+9 c d e f-c^2 f^2\right )\right ) \tan ^{-1}\left (\frac {1}{\sqrt {3}}+\frac {2 \sqrt [3]{b e-a f} \sqrt [3]{c+d x}}{\sqrt {3} \sqrt [3]{d e-c f} \sqrt [3]{a+b x}}\right )}{27 \sqrt {3} (b e-a f)^{5/3} (d e-c f)^{13/3}}-\frac {2 (b c-a d) \left (35 a^2 d^2 f^2-7 a b d f (9 d e+c f)+b^2 \left (27 d^2 e^2+9 c d e f-c^2 f^2\right )\right ) \log (e+f x)}{81 (b e-a f)^{5/3} (d e-c f)^{13/3}}+\frac {2 (b c-a d) \left (35 a^2 d^2 f^2-7 a b d f (9 d e+c f)+b^2 \left (27 d^2 e^2+9 c d e f-c^2 f^2\right )\right ) \log \left (-\sqrt [3]{a+b x}+\frac {\sqrt [3]{b e-a f} \sqrt [3]{c+d x}}{\sqrt [3]{d e-c f}}\right )}{27 (b e-a f)^{5/3} (d e-c f)^{13/3}}\\ \end {align*}
________________________________________________________________________________________
Mathematica [C] Result contains higher order function than in optimal. Order 5 vs. order 3 in
optimal.
time = 10.57, size = 320, normalized size = 0.50 \begin {gather*} \frac {\sqrt [3]{a+b x} \left (-81 d (b e-a f)^2 (d e-c f)^3 (a+b x)^2+9 f (-b e+a f) (d e-c f)^2 (9 b d e+b c f-10 a d f) (a+b x)^2 (c+d x)+\left (35 a^2 d^2 f^2-7 a b d f (9 d e+c f)+b^2 \left (27 d^2 e^2+9 c d e f-c^2 f^2\right )\right ) (e+f x) \left (3 (b e-a f) (d e-c f) (a+b x) (c+d x)-4 (b c-a d) (e+f x) \left ((b e-a f) (c+d x)-(b c-a d) (e+f x) \, _2F_1\left (\frac {1}{3},1;\frac {4}{3};\frac {(d e-c f) (a+b x)}{(b e-a f) (c+d x)}\right )\right )\right )\right )}{27 (b c-a d) (b e-a f)^2 (d e-c f)^3 (-d e+c f) \sqrt [3]{c+d x} (e+f x)^3} \end {gather*}
Antiderivative was successfully verified.
[In]
[Out]
________________________________________________________________________________________
Maple [F]
time = 0.02, size = 0, normalized size = 0.00 \[\int \frac {\left (b x +a \right )^{\frac {4}{3}}}{\left (d x +c \right )^{\frac {4}{3}} \left (f x +e \right )^{4}}\, dx\]
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Maxima [F]
time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \text {Failed to integrate} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Fricas [B] Leaf count of result is larger than twice the leaf count of optimal. 6231 vs.
\(2 (611) = 1222\).
time = 20.83, size = 12621, normalized size = 19.57 \begin {gather*} \text {Too large to display} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Sympy [F(-1)] Timed out
time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \text {Timed out} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Giac [F]
time = 0.00, size = 0, normalized size = 0.00 \begin {gather*} \text {could not integrate} \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________
Mupad [F]
time = 0.00, size = -1, normalized size = -0.00 \begin {gather*} \int \frac {{\left (a+b\,x\right )}^{4/3}}{{\left (e+f\,x\right )}^4\,{\left (c+d\,x\right )}^{4/3}} \,d x \end {gather*}
Verification of antiderivative is not currently implemented for this CAS.
[In]
[Out]
________________________________________________________________________________________